Optimal. Leaf size=159 \[ -\frac {8515}{7546 \sqrt {1-2 x} (3+5 x)^{3/2}}-\frac {7090175 \sqrt {1-2 x}}{498036 (3+5 x)^{3/2}}+\frac {3}{14 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}+\frac {765}{196 \sqrt {1-2 x} (2+3 x) (3+5 x)^{3/2}}+\frac {707286025 \sqrt {1-2 x}}{5478396 \sqrt {3+5 x}}-\frac {1215945 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {3+5 x}}\right )}{1372 \sqrt {7}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 159, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 6, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.231, Rules used = {105, 156, 157,
12, 95, 210} \begin {gather*} -\frac {1215945 \text {ArcTan}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {5 x+3}}\right )}{1372 \sqrt {7}}+\frac {707286025 \sqrt {1-2 x}}{5478396 \sqrt {5 x+3}}-\frac {7090175 \sqrt {1-2 x}}{498036 (5 x+3)^{3/2}}-\frac {8515}{7546 \sqrt {1-2 x} (5 x+3)^{3/2}}+\frac {765}{196 \sqrt {1-2 x} (3 x+2) (5 x+3)^{3/2}}+\frac {3}{14 \sqrt {1-2 x} (3 x+2)^2 (5 x+3)^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 95
Rule 105
Rule 156
Rule 157
Rule 210
Rubi steps
\begin {align*} \int \frac {1}{(1-2 x)^{3/2} (2+3 x)^3 (3+5 x)^{5/2}} \, dx &=\frac {3}{14 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}+\frac {1}{14} \int \frac {\frac {95}{2}-120 x}{(1-2 x)^{3/2} (2+3 x)^2 (3+5 x)^{5/2}} \, dx\\ &=\frac {3}{14 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}+\frac {765}{196 \sqrt {1-2 x} (2+3 x) (3+5 x)^{3/2}}+\frac {1}{98} \int \frac {\frac {14435}{4}-11475 x}{(1-2 x)^{3/2} (2+3 x) (3+5 x)^{5/2}} \, dx\\ &=-\frac {8515}{7546 \sqrt {1-2 x} (3+5 x)^{3/2}}+\frac {3}{14 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}+\frac {765}{196 \sqrt {1-2 x} (2+3 x) (3+5 x)^{3/2}}-\frac {\int \frac {-\frac {804955}{8}+127725 x}{\sqrt {1-2 x} (2+3 x) (3+5 x)^{5/2}} \, dx}{3773}\\ &=-\frac {8515}{7546 \sqrt {1-2 x} (3+5 x)^{3/2}}-\frac {7090175 \sqrt {1-2 x}}{498036 (3+5 x)^{3/2}}+\frac {3}{14 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}+\frac {765}{196 \sqrt {1-2 x} (2+3 x) (3+5 x)^{3/2}}+\frac {2 \int \frac {-\frac {90407945}{16}+\frac {21270525 x}{4}}{\sqrt {1-2 x} (2+3 x) (3+5 x)^{3/2}} \, dx}{124509}\\ &=-\frac {8515}{7546 \sqrt {1-2 x} (3+5 x)^{3/2}}-\frac {7090175 \sqrt {1-2 x}}{498036 (3+5 x)^{3/2}}+\frac {3}{14 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}+\frac {765}{196 \sqrt {1-2 x} (2+3 x) (3+5 x)^{3/2}}+\frac {707286025 \sqrt {1-2 x}}{5478396 \sqrt {3+5 x}}-\frac {4 \int -\frac {4855268385}{32 \sqrt {1-2 x} (2+3 x) \sqrt {3+5 x}} \, dx}{1369599}\\ &=-\frac {8515}{7546 \sqrt {1-2 x} (3+5 x)^{3/2}}-\frac {7090175 \sqrt {1-2 x}}{498036 (3+5 x)^{3/2}}+\frac {3}{14 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}+\frac {765}{196 \sqrt {1-2 x} (2+3 x) (3+5 x)^{3/2}}+\frac {707286025 \sqrt {1-2 x}}{5478396 \sqrt {3+5 x}}+\frac {1215945 \int \frac {1}{\sqrt {1-2 x} (2+3 x) \sqrt {3+5 x}} \, dx}{2744}\\ &=-\frac {8515}{7546 \sqrt {1-2 x} (3+5 x)^{3/2}}-\frac {7090175 \sqrt {1-2 x}}{498036 (3+5 x)^{3/2}}+\frac {3}{14 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}+\frac {765}{196 \sqrt {1-2 x} (2+3 x) (3+5 x)^{3/2}}+\frac {707286025 \sqrt {1-2 x}}{5478396 \sqrt {3+5 x}}+\frac {1215945 \text {Subst}\left (\int \frac {1}{-7-x^2} \, dx,x,\frac {\sqrt {1-2 x}}{\sqrt {3+5 x}}\right )}{1372}\\ &=-\frac {8515}{7546 \sqrt {1-2 x} (3+5 x)^{3/2}}-\frac {7090175 \sqrt {1-2 x}}{498036 (3+5 x)^{3/2}}+\frac {3}{14 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}+\frac {765}{196 \sqrt {1-2 x} (2+3 x) (3+5 x)^{3/2}}+\frac {707286025 \sqrt {1-2 x}}{5478396 \sqrt {3+5 x}}-\frac {1215945 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {3+5 x}}\right )}{1372 \sqrt {7}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.20, size = 84, normalized size = 0.53 \begin {gather*} \frac {8194676012+22311149965 x-16567908760 x^2-89836042575 x^3-63655742250 x^4}{5478396 \sqrt {1-2 x} (2+3 x)^2 (3+5 x)^{3/2}}-\frac {1215945 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {3+5 x}}\right )}{1372 \sqrt {7}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(304\) vs.
\(2(120)=240\).
time = 0.09, size = 305, normalized size = 1.92
method | result | size |
default | \(\frac {\sqrt {1-2 x}\, \left (2184870773250 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x^{5}+4442570572275 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x^{4}+2485897413120 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x^{3}+891180391500 x^{4} \sqrt {-10 x^{2}-x +3}-412697812725 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x^{2}+1257704596050 x^{3} \sqrt {-10 x^{2}-x +3}-757421868060 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x +231950722640 x^{2} \sqrt {-10 x^{2}-x +3}-174789661860 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )-312356099510 x \sqrt {-10 x^{2}-x +3}-114725464168 \sqrt {-10 x^{2}-x +3}\right )}{76697544 \left (2+3 x \right )^{2} \left (-1+2 x \right ) \sqrt {-10 x^{2}-x +3}\, \left (3+5 x \right )^{\frac {3}{2}}}\) | \(305\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.17, size = 131, normalized size = 0.82 \begin {gather*} -\frac {4855268385 \, \sqrt {7} {\left (450 \, x^{5} + 915 \, x^{4} + 512 \, x^{3} - 85 \, x^{2} - 156 \, x - 36\right )} \arctan \left (\frac {\sqrt {7} {\left (37 \, x + 20\right )} \sqrt {5 \, x + 3} \sqrt {-2 \, x + 1}}{14 \, {\left (10 \, x^{2} + x - 3\right )}}\right ) - 14 \, {\left (63655742250 \, x^{4} + 89836042575 \, x^{3} + 16567908760 \, x^{2} - 22311149965 \, x - 8194676012\right )} \sqrt {5 \, x + 3} \sqrt {-2 \, x + 1}}{76697544 \, {\left (450 \, x^{5} + 915 \, x^{4} + 512 \, x^{3} - 85 \, x^{2} - 156 \, x - 36\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\left (1 - 2 x\right )^{\frac {3}{2}} \left (3 x + 2\right )^{3} \left (5 x + 3\right )^{\frac {5}{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 399 vs.
\(2 (120) = 240\).
time = 0.74, size = 399, normalized size = 2.51 \begin {gather*} \frac {243189}{38416} \, \sqrt {70} \sqrt {10} {\left (\pi + 2 \, \arctan \left (-\frac {\sqrt {70} \sqrt {5 \, x + 3} {\left (\frac {{\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}^{2}}{5 \, x + 3} - 4\right )}}{140 \, {\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}}\right )\right )} - \frac {125}{63888} \, \sqrt {10} {\left ({\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{3} - \frac {2280 \, {\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}}{\sqrt {5 \, x + 3}} + \frac {9120 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )} - \frac {64 \, \sqrt {5} \sqrt {5 \, x + 3} \sqrt {-10 \, x + 5}}{2282665 \, {\left (2 \, x - 1\right )}} + \frac {891 \, {\left (67 \, \sqrt {10} {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{3} + 16120 \, \sqrt {10} {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}\right )}}{98 \, {\left ({\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{2} + 280\right )}^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {1}{{\left (1-2\,x\right )}^{3/2}\,{\left (3\,x+2\right )}^3\,{\left (5\,x+3\right )}^{5/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________